Giuseppe Maria Crespi e il Gran Principe Ferdinando de' Medici

The illnesses of Carlo di Ferdinando I de' Medici: a second opinion.

OBJECTIVES To offer a second opinion on the recently published retrospective diagnosis of Cardinal Carlo de' Medici (1596-1666), a prominent member of the grand ducal family then ruling Tuscany. METHODS Retrospective diagnosis of historical figures is difficult and at times controversial, even with modern technology. It is based on contemporaneous medical descriptions and historical reviews, ...

Giuseppe Tomasi di Lampedusa: Storia e Tempo ne "Il Gattopardo"

La personalità di Giuseppe Tomasi di Lampedusa, così come la sua opera , sfuggono ad una convenzionale catalogazione. Erede di una antichissima famiglia dell'aristocrazia siciliana, sposato alla psicoanalista lettone Licy Wolff a sua volta discendente di un importante casato baltico,  raffinato conoscitore della letteratura inglese e francese, lo scrittore è di fatto un outsider  nel panorama s...

Giuseppe De Giacomo , Maurizio Lenzerini

In this paper we demonstrate that two-way alternating automata on infinite trees (2ATAs) provide a very elegant and effective formal tool for addressing reasoning in expressive DLs. Indeed, the encoding of a DL concept (to be checked for satisfiability) into an automaton (to be checked for non-emptiness) is: (i) intuitive, indeed, comparable to tableaux rules; (ii) modular, since each construct...

Maria E. Figueiredo-Pereira

Un Principe de Résolution en Logique Modale

— The applications of modal logic are connected with programming reasoning and for this reason we are interested in developping theorem proving System for it. A resolution-style theorem proving System for modal logic is presented. The two version of Herbrand property are proved. The completeness of the System is given. Nous présentons dans cet article une formalisation des modalités de re parfa...